Jeremy Condit: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Capriccio

von Behren, Rob, Condit, Jeremy, Zhou, Feng, Necula, George C., Brewer, Eric

Journal:

ACM SIGOPS Operating Systems Review

Year:

2003

Language:

english

File:

PDF, 305 KB

english, 2003

2

CCured: type-safe retrofitting of legacy software

Necula, George C., Condit, Jeremy, Harren, Matthew, McPeak, Scott, Weimer, Westley

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2005

Language:

english

File:

PDF, 599 KB

english, 2005

3

[ACM Press the nineteenth ACM symposium - Bolton Landing, NY, USA (2003.10.19-2003.10.22)] Proceedings of the nineteenth ACM symposium on Operating systems principles - SOSP '03 - Capriccio

von Behren, Rob, Condit, Jeremy, Zhou, Feng, Necula, George C., Brewer, Eric

Year:

2003

Language:

english

File:

PDF, 305 KB

english, 2003

4

Unifying type checking and property checking for low-level code

Condit, Jeremy, Hackett, Brian, Lahiri, Shuvendu K., Qadeer, Shaz

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 300 KB

english, 2009

5

Dynamically replicated memory

Ipek, Engin, Condit, Jeremy, Nightingale, Edmund B., Burger, Doug, Moscibroda, Thomas

Journal:

ACM SIGARCH Computer Architecture News

Year:

2010

Language:

english

File:

PDF, 1.64 MB

english, 2010

6

CCured in the real world

Condit, Jeremy, Harren, Matthew, McPeak, Scott, Necula, George C., Weimer, Westley

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 256 KB

english, 2003

7

Dynamically replicated memory

Ipek, Engin, Condit, Jeremy, Nightingale, Edmund B., Burger, Doug, Moscibroda, Thomas

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 1.64 MB

english, 2010

8

The Vaccinia Virus Bifunctional Gene J3 (Nucleoside-2′-O-)-methyltransferase and Poly(A) Polymerase Stimulatory Factor Is Implicated as a Positive Transcription Elongation Factor by Two Genetic Approaches

Donald R. Latner, Ying Xiang, Jackie I. Lewis, Jeremy Condit, Richard C. Condit

Journal:

Year:

2000

Language:

english

File:

PDF, 374 KB

english, 2000

9

Views of Cohort Study Participants about Returning Research Results in the Context of Precision Medicine

Hyams, Travis, Bowen, Deborah J., Condit, Celeste, Grossman, Jeremy, Fitzmaurice, Megan, Goodman, Deborah, Wenzel, Lari, Edwards, Karen L.

Journal:

Public Health Genomics

Year:

2016

Language:

english

File:

PDF, 80 KB

english, 2016

10

[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - Unifying type checking and property checking for low-level code

Condit, Jeremy, Hackett, Brian, Lahiri, Shuvendu K., Qadeer, Shaz

Year:

2008

Language:

english

File:

PDF, 300 KB

english, 2008

11

[ACM Press the fifteenth edition of ASPLOS - Pittsburgh, Pennsylvania, USA (2010.03.13-2010.03.17)] Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems - ASPLOS '10 - Dynamically replicated memory

Ipek, Engin, Condit, Jeremy, Nightingale, Edmund B., Burger, Doug, Moscibroda, Thomas

Year:

2010

Language:

english

File:

PDF, 1.64 MB

english, 2010

12

Demographic trade-offs predict tropical forest dynamics

RÃ¼ger, Nadja, Condit, Richard, Dent, Daisy H., DeWalt, Saara J., Hubbell, Stephen P., Lichstein, Jeremy W., Lopez, Omar R., Wirth, Christian, Farrior, Caroline E.

Journal:

Year:

2020

File:

PDF, 297 KB

2020

13

[ACM Press the ACM SIGPLAN 2003 conference - San Diego, California, USA (2003.06.09-2003.06.11)] Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation - PLDI '03 - CCured in the real world

Condit, Jeremy, Harren, Matthew, McPeak, Scott, Necula, George C., Weimer, Westley

Year:

2003

Language:

english

File:

PDF, 256 KB

english, 2003

14

[ACM Press the 2008 ACM SIGPLAN conference - Tucson, AZ, USA (2008.06.07-2008.06.13)] Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation - PLDI '08 - Type-preserving compilation for large-scale optimizing object-oriented compilers

Chen, Juan, Hawblitzel, Chris, Perry, Frances, Emmi, Mike, Condit, Jeremy, Coetzee, Derrick, Pratikaki, Polyvios

Year:

2008

Language:

english

File:

PDF, 387 KB

english, 2008

15

Type-preserving compilation for large-scale optimizing object-oriented compilers

Chen, Juan, Hawblitzel, Chris, Perry, Frances, Emmi, Mike, Condit, Jeremy, Coetzee, Derrick, Pratikaki, Polyvios

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 387 KB

english, 2008

16

Use of Model Organism and Disease Databases to Support Matchmaking for Human Disease Gene Discovery

Mungall, Christopher J., Washington, Nicole L., Nguyen-Xuan, Jeremy, Condit, Christopher, Smedley, Damian, Köhler, Sebastian, Groza, Tudor, Shefchek, Kent, Hochheiser, Harry, Robinson, Peter N., Lewis

Journal:

Year:

2015

Language:

english

File:

PDF, 1.79 MB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски